$\forall$$T$:Type, $L_{1}$, $L$:$T$ List. interleaving($T$;$L_{1}$;nil;$L$) $\Leftrightarrow$ $L$ $=$ $L_{1}$